/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */
public class Semantic {
	private int semanticOption;
	
	public Semantic(int semanticOption) {
		this.semanticOption = semanticOption;
	}
}